\newcommand{\draftorfinal}{\setboolean{draft}{true}}
\input{upc-lib-nb-mem-ops-spec}
